منابع مشابه
Pi – Protection Profile Process Improvement
Development of a protection profile under the Common Criteria is a demanding task, requiring difficult engineering decisions, complex analyses, and detailed knowledge about the intended environment and use for a product or system. We believe that building a protection profile is essentially a security engineering problem and is best approached by applying the Systems Security Engineering Capabi...
متن کاملGas Phase Nanowire Integration Process PI : Heiko
We report on a gas phase process to synthesize and integrate seed particles and inorganic nanowires with control over location, diameter, length, and geometrical orientation. The process flow begins with the gas phase synthesis and size selection of nanoparticle seeds. The seed particles are deposited onto addressable locations on a substrate by Coulomb force and fringing field directed assembl...
متن کاملWorkflow is just a Pi process
There is much talk today about a business process management (BPM) rEvolution. The revolutionary part is about a new category of software known as the business process management system (BPMS). The evolutionary part is about using the BPMS to exploit existing business and technology assets in a way that creates new value. Along with any revolution comes confusion. What exactly is BPM? Isn’t it ...
متن کاملThe Continuous pi-Calculus: A Process Algebra for Biochemical Modelling
We introduce the continuous π-calculus, a process algebra for modelling behaviour and variation in molecular systems. Key features of the language are: its expressive succinctness; support for diverse interaction between agents via a flexible network of molecular affinities; and operational semantics for a continuous space of processes. This compositional semantics also gives a modular way to g...
متن کاملBusiness process management--the third wave: business process modelling language (bpml) and its pi-calculus foundations
A process modeling language, Business Process Modeling Language (BPML), has been published by the BPMI.org that provides many of the features practitioners and researchers have sought for years. This language is based on standards widely accepted by the IT industry and underpinned by a strong mathematical foundation, the Pi-Calculus. Perhaps more surprising is that real world, industrial streng...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Časopis pro pěstování matematiky
سال: 1968
ISSN: 0528-2195
DOI: 10.21136/cpm.1968.108581